Blar i NTNU Open på forfatter "Toloza, Jhonattan"
-
Moving from Pragmatic to formal model: HYPSO reliability evaluation using activity approach and AltaRica
Toloza, Jhonattan (Master thesis, 2022)Systems are becoming more complex over time, requiring interdisciplinary groups to develop them. Moreover, systems are more interconnected, meaning that different systems should be designed to work together with others in ...